Mapping UML Component Specifications to JEE Implementations
نویسندگان
چکیده
منابع مشابه
Mapping UML Component Specifications to JEE Implementations
Component-based Software Engineering (CbSE) has become a well-accepted approach for developing complex software systems due to its significant advantages on composition and reuse. In practice, however, its use still requires the conjunction of a component specification method that describes how system requirements are satisfied in terms of software components. Such a component specification is ...
متن کاملValidating UML/OCL component specifications through animation
UML has been widely accepted as a standard for modeling software systems and is supported by a great number of case tools. However, UML tools often provide limited support for validating models early in the development process. Also, there is no substantial support for specifying constraints written in Object Constraint Language (OCL), which is an important element of new Component based Develo...
متن کاملProcess Semantics for UML Component Specifications to Assess Inheritance
We define a component specification as a process. The starting point is the specification of a component in a UML profile. The process of the component is a derivable feature from the component specification. We define the inheritance of component specifications as inheritance of processes. Process semantics of the UML profile allows to check inheritance of specifications using a process algebr...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملA Formal Mapping between UML Models and Object-Z Specifications
This paper provides a precise and descriptive semantics for core modeling concepts in Object-Z and a formal description for UML class constructs. Given the formal descriptions, it also provides a formal semantic mapping between the modeling constructs of the two languages.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Science
سال: 2007
ISSN: 1549-3636
DOI: 10.3844/jcssp.2007.780.785